Proposition 4.3.4 (Direct sums)
K-theory respects direct sums. For any pair of -algebras we have that Proof: five lemma.